Multiplication d'un vecteur par un réel.
資訊: Multiplication d'un vecteur par un réel.