Calculer la norme d’un vecteur dans un repère orthonormé - commentaires