Bibliothèque de l’enseignement de l’histoire ecclésiastique