Tribune libre Histoire de l’histoire de Galois : le cas Infantozzi par Olivier Courcelle 17 janvier 2018