Mondes et programmation en logique.