la production de la mine de charbon