la pollution des mines de charbon