20 Opérateurs d'unicité

Le but de ces opérateurs est de montrer qu'il existe une solution unique dans une boîte donnée et que cette solution peut être calculée par une méthode itérative