Discussion:Logique classique