Une approche logique de la non-monotonie.