Unitary operators, spectral analysis, Mourre theory, cocycles over rotations