la réglementation des mines de charbon 1957