Conditions pour qu'une transformation linéaire (matrice) soit diagonalisable