les mines de charbon de la construction