extension normale
Extension algébrique tel que l'image de tout morphisme du corps initial dans un corps contient cette extension. Si un élément appartient à l'extension, tout élément conjugué appartient aussi à l'extension