matières premières nécessaires à l'industrie minière du charbon