É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; la description des moyens employés pour l'extraction et le transport souterrain des minerais et des combustibles; les diverses méthodes de boiser, murailler, aérer et assécher les mines; les secours à donner aux noyés, asphyxiés et brûlés; des notions sur l'administration, la compatabilité, etc., etc. - Brard, Cyprien Proper 1786-1838