La pensée d'Evariste Galois et le formalisme moderne — Alain Connes