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 QCSP (Quantified Constraint Satisfaction Problem). Nous commen ons par apporter une r ponse aux difficult s de mod lisation de probl mes r els dont est frapp e la programmation par contraintes quantifi es en introduisant une extension aux QCSP permettant d'expliciter les actions possibles de l'agent principal et de son adversaire. Puis, nous d crivons diff rent probl mes gr ce ce formalisme, et discutons de la place de cette extension parmi les formalismes voisins cr s en r ponse cette m me difficult de mod lisation. Enfin, nous nous int ressons la notion d'optimisation dans le cas des contraintes quantifi es, et apportons un formalisme d'optimisation de contraintes quantifi es permettant d'exprimer des probl mes multi-niveaux non lin aires.