Après une présentation de quelques théories linguistiques basées sur les contraintes (en particulier les grammaires GPSG et HPSG, la théorie de l'optimalité) et des problèmes posés par leur mise en oeuvre en traitement automatique des langues, P. Blache propose un nouveau formalisme, souple et robuste, qui s'appuie uniquement sur les grammaires de contraintes : les grammaires de propriétés.