la production des coûts de l'extraction du charbon