Produit scalaire: bilinéarité