Programmation en logique avec contraintes — Journées francophones de programmation en logique et de programmation par contraintes (13 ; 2004 ; Angers)