Trésors de la Bibliothèque de l'Arsenal : [exposition, Paris, Bibliothèque de l'Arsenal, 26 mars-22 juin 1980]. Paris: Bibliothèque nationale, 1980.