L'art d'exploiter les mines de charbon de terre - Morand, Jean-François-Clément (Description des arts et métiers, 1768)