Élémens Pratiques D'exploitation, Contenant Tout Ce Qui Est Relatif À L'art D'explorer La Surface Des Terrains, D'y Faire Des Travaux De Recherche Et ... Des Moyens Employés Pour L'extraction Et ...