Inspector general of Mines — French official position