L'art d'exploiter les mines de charbon de terre. Première partie. Du charbon de