de l or des mines de charbon