Un lemme de Kazhdan-Margulis-Zassenhaus pour les géométries de Hilbert
On montre un lemme de Kazhdan-Margulis-Zassenhaus pour les géométries de Hilbert. Plus précisément, en toute dimension , il existe une constante telle que, pour tout ouvert proprement convexe , pour tout point , tout groupe discret engendré par un nombre fini d’automorphismes de qui déplacent le point de moins de est virtuellement nilpotent.