Mais c'est une matrice symétrique réelle donc diagonalisable?