Paris (France). École nationale supérieure des mines. Bibliothèque.