Deux applications de la programmation logique avec contraintes.