operation de l'extraction du charbon