Programmation par Contraintes
mpri-pc