théorème spectral