de la production industrielle de charbon en