Exercice 2, § 4

Soient $G$ un groupe topologique, $H$ un sous-groupe de $G$. Pour que l’application $(x, y) \mapsto xy$ de $H \times G$ dans $G$ soit propre, il faut et il suffit que $H$ soit quasi-compact (considérer l’image réciproque de $e$ par cette application).