Equations diophantiennes exponentielles Michel LAURENT (1983/1984) Seminaire de Théorie des Nombres de Bordeaux
Existence of discrete cocompact subgroups of reductive groups over local fields. G. Harder, A. Borel (1978) Journal für die reine und angewandte Mathematik