Produit scalaire dans l'espace, définition