la formation des mines de charbon de son