mine de charbon ou de mines de charbon