Degré d'une extension