SMS: Théorie des groupes ordennés