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