exigence de l"ingénieur des mines de charbon