Paul Painlevé, 1863-1933 — Paul Janet