les mines de charbon ou la mine de charbon