Cette présentation portera sur le formalisme des grammaires d'unification polarisées. Après une brève présentation de ce formalisme linguistique, nous verrons qu'il possède des propriétés qui le rendent coûteux d'un point de vue computationnel. Nous décrirons notre implémentation du formalisme et les différentes techniques employées pour réduire son coût computationnel.