les mines de charbon de fraisage