On considère le groupe SLâ‚‚(OK) sur l'anneau des entiers d'un corps de nombres K. La hauteur d'une matrice est définie comme le maximum de tous les conjugués de ses éléments en valeur absolue. Soit SLâ‚‚ ...