Dupuy, Jean Pierre ingénieur en chef des mines.