Autre greffe libre de la conjonctive
recherche d'autres notions
codes apparentés et indications de codage