Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.