logique « classique »