Bibliothèque / Maison centrale de Clairvaux [plans] / Maison centrale de Clairvaux [plans] — Plan des ateliers des ravaudeurs, cordonniers et tisserands, 12 juillet 1876