  After introducing the different boundary geometries of rank one symmetric
spaces, we state and prove Fried's theorem in the general setting of all those
geometries: a closed manifold with a similarity structure is either complete or
the developing map is a covering onto the Heisenberg-type space deprived of a
point.
