partie intégrante de l extraction du charbon