espace vectoriel produit