Produit scalaire démonstration