salut

cela ressemble a un cas typique de programmation par satisfaction de contraintes