Matrices diagonalisables qui commutent
Ce fichier traite de la diagonalisation de matrices commutantes dans une base commune