Polynôme minimal d'un endomorphisme, ou d'une matrice, valeurs propres et diagonalisation