additiveaibornescircuitsclasseclassescomplexiteconjecturedemonstrationentropieevidentesfaireinferieureslangagelineairemartonmathematicalmathematicsmathematiquesmodelesnpoutilsphilosophiepratiquepreuveprofondeurproofsququadratiquerelationsseminairetheoremetheorie