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