Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis — Daniel Diaz