Cité des sciences et de l’industrie, Bibliothèque d’histoire des sciences