les procedures de maintenance de mines de charbon