mine, la production de charbon de DGMS 10 11