Exercice 8, § 3

On dit qu’un groupe topologique séparé G est localement précompact s’il existe un voisinage V_0 de e qui est précompact pour la structure uniforme droite (ou la structure uniforme gauche) sur G. Montrer que tout groupe localement précompact admet un groupe complété localement compact (utiliser III, p. 25, prop. 9).