Définition initiale du groupe de Galois (groupe d'automorphismes d'une extension de corps)