ingenieur des mines de la mine de charbon