Une Interprétation abstraite en programmation logique avec contraintes.