SMS dit: Théorie des groupes ordennés