Programmation en logique avec contraintes — Journées francophones de programmation logique et programmation par contraintes (09 ; 2000 ; Marseille)