Stav dette: Théorie des groupes ordennés