td6 Prolog par Contraintes