La Salle des catalogues et des bibliographies de la Bibliothèque nationale : tradition et technologie