Darboux, Gaston, 1842-1917