Cette séance de cours couvre la preuve que le groupe unitaire généré par un opérateur auto-adjoint fournit une solution unique à l'équation de Schrdinger, au théorème de Stone, à la décomposition des mesures de Borel et à la définition des types spectraux.