Histoire de l'École polytechnique - Pinet, Gaston (Baudry, 1887)