procedures dentretien des mines de charbon