Programmation en logique avec contraintes — Journées francophones de programmation en logique et de programmation par contraintes (10 ; 2001 ; Paris)