  A new proof of Imprimitivity theorem for transitive systems of covariance is
given and a definition of square-integrable representation modulo a subgroup is
proposed. This clarifies the relation between coherent states, wavelet
transforms and covariant localisation observables.
