Dictionnaire historique de la langue française.