exigence de l'ingénieur des mines de charbon