Many-body systems, Spectral analysis, C*-algebras, Essential spectrum, Mourre estimate, Hilbert modules