Développement : Diagonalisation des endomorphismes autoadjoints

Détails/Enoncé :

Versions :