la réglementation des mines de charbon