Kartoteka Słownika języka polskiego XVII i 1. połowy XVIII wieku; Miękko - Miłek - Zakład Językoznawstwa PAN w Warszawie