la construction de mines de charbon