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