industrie des mines de charbon pic