7. Le produit scalaire