Extension élément_adjointinversepolynômeprécédentdegré_relatifsubextension?degré_totaltower