https://123dok.net/document/y9646ogl-éléments-une-théorie-non-standard-des-groupes-topologiques.html