la production de brut moulin mine de charbon