Contraintes globales: aspects algorithmiques et déclaratifs