Topological group for which the underlying topology is locally compact and Hausdorff, so that the Haar measure can be defined