Propriétés de la multiplication d’un vecteur par un réel