Produit d'un vecteur par un réel.
Information: Produit d'un vecteur par un réel.