Problèmes de satisfaction de contraintes spatiales door Khalil Challita