Outils logiques et mathématiques de base

* Raisonnement naturel et logique formelle