Programmation par contraintes : partie C