Ma3 Ch5 : Thm "Relation produit scalaire et orthogonalité"