Conservateur général des bibliothèques et directeur honoraire de la bibliothèque Jacques Doucet.