Produit dans un espace d'endomorphismes (avec notion de polynôme minimal)