les mines de charbon émis