Exercice 1, § 3

Sur un groupe topologique $G$, la structure uniforme droite est la seule structure uniforme compatible avec la topologie de $G$, et qui admette un système fondamental d’entourages dont chacun soit invariant par toute translation $(x, y) \mapsto (xa, ya)$.