Dans ce mémoire, on présente un espace de la géométrie hyperbolique, le bidisque. On y parle de la géométrie du bidisque et pour ce faire on expose en détail la géométrie du plan hyperbolique. Ensuite, on présente les groupes d’isométries du bidisque pour lesquels on décrit les groupes d’isométrie du plan hyperbolique. Enfin, on donne des conditions nécessaires et suffisantes pour que des sous-groupes cycliques d’isométries du bidisque soient discrets.

Soit G un groupe algébrique réel simple de rang réel au moins 2 et P un sous-groupe parabolique de G. On montre que tout sous-groupe discret de G intersectant le radical unipotent de P en un réseau est un réseau aritmétique de G, sauf éventuellement lorsque G = SO(2,4n+2) et P est le stabilisateur d'un 2-plan isotrope. Ceci répond partiellement à une conjecture de Margulis, déjà étudiée par Hee Oh. On étudie aussi le cas où G est le produit de plusieurs groupes de rang 1, généralisant des résultats de Selberg, Benoist et Oh. / Let G be a real algebraic group of real rank at least 2 and P a parabolic subgroup of G. We prove that any discrete subgroup of G that intersects the unipotent radical of P in a lattice is an arithmetic lattice of G, except maybe when G=SO(2,4n+2) and P is the stabilizer of an isotropic 2-plane. This provide a partial answer to a conjecture of Margulis that was already studied by Hee Oh. We also study the case where G is a product of several rank 1 groups, generalising results of Selberg, Benoist and Oh.