R . de Pont-Jost.