Problèmes de contraintes quantifiées: modélisation, satisfaction et optimisation