Théorème spectral