Bonjour,
Est-ce que quelqu'un saurait par hasard s'il est possible de partitionner n'importe quel groupe topologique (pas forcément T0) en G = adhérence({e}) x H de manière à justifier l'hypothèse qu'il suffit de travailler sur les groupes topologiques T0 (qui sont donc Hausdorff).
-----