Dans un travail récent avec Cristóbal Rivas, nous démontrons que le groupe (introduit par Higman en 1951 pour donner le premier exemple de groupe simple infini, de type fini)
H = < a,b,c,d | ab=b²a, bc=c²b, cd=d²c, da=a²d >
est ordonnable. J'expliquerai notre construction, qui utilise à la fois de la dynamique et de l'algèbre. Cela sera une bonne excuse pour faire une courte introduction à la théorie des groupes ordonnables.