Techniques diagnostiques concernant la conjonctive
recherche d'autres notions
codes apparentés et indications de codage