Essais de formalisation de la logique d'Aristote | lit.salon