Non-commutative harmonic analysis