Le cours. Le vocabulaire de la logique 26 septembre 2016 « C’est avec la logique que nous prouvons et avec l’intuition que nous trouvons. » Henri Poincaré