Élève de l'École normale supérieure.