J'ai completé la logique propositionnelle et je l'ai restructuré en plusieurs fichiers de classes. J'ai aussi fait quelques tests.