Conférénce invitée: Négation et dualité en programmation logique.