les mines de charbon dans l'etat libre