Final du rendu : Exemples, README et clause_learning fonctionnel.