partie intégrante de l exploitation minière du charbon