département de la mine de charbon