Programmation en logique avec contraintes — Journées francophones de programmation en logique et de programmation par contraintes (11 ; 2002 ; Nice)