Ah, et je crois qu'il y a une erreur aussi : tu dis que le calcul du polynôme minimal est plus simple que celui du polynôme caractéristique ; je ne suis pas sûr ; le calcul du pol carac demande un calcul de déterminant (rq1 : certains algorithmes, Souriau par exemple, évitent un tel calcul d'ailleurs ; rq2 : déterminant se calcule par pivot de Gauss), mais celui du polynôme min demande encore plus, non? En gros, pour calculer le polynôme minimal, il faut faire un pivot de Gauss sur la K[X]algèbre K[u], non?