É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 d'y établir des exploitations réglées