correction du produit scalaire
Ajout de calcul du prédicat et de l'intersection