Title: L'Ecole des mines de Paris, notice historique