Algèbres effectives dans la programmation logique avec constraintes.