les entreprises de construction de mines de charbon