Annales des Mines. Serie 7: journal (Paris, Dunod, Editeur, 1872-1881)