_Produit scalaire positif 1