MetMat
Comment diagonaliser un opérateur hermitien (théorème spectral) ? | MetMat