Un modèle formel de la syllogistique d'Aristote — Kurt Ebbinghaus