Somme de projecteurs qui commutent
Ce fichier traite de la diagonalisation de la somme de projecteurs qui commutent deux à deux