Dans ce papier, nous introduisons le langage QCSP+ qui étend le cadre des QCSP et permet d'exprimer le concept de quantification restreinte via une chaîne de CSP interprétés alternativement de manière conjonctive et disjonctive. La quantification restreinte apparaît comme une solution confortable aux problèmes de modélisation des QCSP et aide, étonnamment, à réutiliser les techniques de propagation et à élaguer l'espace de recherche. Nous présentons notre solveur de QCSP+, qui est capable de traiter les contraintes arithmétiques et des contraintes globales, et possède des performances comparables avec l'état de l'art.