L'utilisation de la programmation par contraintes, notamment la modélisation des problèmes, est devenue limitée à des utilisateurs possédant une bonne expérience dans le domaine. Ce papier s'inscrit dans un cadre visant à automatiser la modélisation. Les techniques existantes ont montré des résultats encourageants mais certaines exigences rendent leur utilisation encore problématique. Nous nous intéressons à la possibilité pour l'utilisateur de ne pas donner de solutions et de non-solution de son problème. En partant d'un CSP sans aucune contrainte, notre méthode consiste à résoudre le problème de l'utilisateur de manière classique en développant un arbre de recherche. Quand notre outil ne peut décider si l'affectation partielle courante est correcte ou non, nous demandons à l'utilisateur de guider la recherche sous forme de requêtes. Ces requêtes permettent de guider la recherche en répondant à des requêtes et de trouver des contraintes à ajouter aux modèles du CSP et ainsi améliorer la recherche.