Robuta

https://www.agreg-maths.fr/developpements/228 Diagonalisation des opérateurs symétriques compacts diagonalisationdescompacts