( Ingenieur honoraire des Mines)