Discours à l'occasion de la mort de Maurice Holleaux, — Étienne Michon