$\alpha\neq 0$
Je commence à taper mon rapport de stage (et oui faut s'y prendre à l'avance car c'est assez long et chiant !).
Là je suis en plein dans la démonstration du fait qu'une famille est une Q-base d'un corps de nombre K ssi son discriminant est non nul. (oui je sais c'est intéressant ^^).
PS : Content pour l'Espagne !