Khâgneux et normaliens des années vingt — Jean-François Sirinelli