Somme et produit de vecteurs par un réel