Objectif : définir la La fonction scalaire de Leibniz
démontrer les propriétés de réduction
utilisation pour la recherche d'ensembles .