produit d’espaces vectoriels