Title: Catalogue des livres de la bibliothèque Hartmann