Dictionnaire historique des auteurs ecclésiastiques.