Abstract FR:

Soit q le corps des fractions d'un modele de l'arithmetique de peano, k une extension finie de q, a l'anneau des entiers sur k, n un entier superieur ou egal a 3. Si k admet un conjugue totalement ordonne (ce qui arrive sinon sera etudie en detail), nous montrerons que tout sous-groupe d'indice fini de sln(a) est un groupe de congruence