Entrer ici, c'est plonger dans trois siècles de savoir. La Bibliothèque des Mines abrite plus de 200 000 documents historiques dans un cadre du 18e siècle où le bois et le cuir parlent autant que les livres.