Étudier une orthogonalité avec le produit scalaire dans un repère orthonormé - commentaires