Produit d'un vecteur par un reel [Espaces vectoriels]