Cette thèse s'inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendant la programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ou universels, ce qui apporte en théorie une expressivité suffisante pour modéliser des problèmes avec adversaire ou incertitude sur certains paramètres sous forme de problèmes appelés...