Une Procédure de décision en logique non-monotone — Philippe Besnard