La taille de Evariste Galois est :