Définition d'une contrainte sur un type de base...
Opérateur de comparaison...
Définition du critère d'un cas particulier d'un éclatement...