Dictionnaire de législation, de jurisprudence et de doctrine en matiére de mines - León Del Marmol, Jules Auguste