travaux de génie civil à l'extraction du charbon