Organisation des PR pour Jordan
#12023 - branch#ACL/Pointwise mise à jour de pointwise #12049 - branch#ACL/IwBlocks définition des blocs #12050 - branch#ACL/IwBlocks_Equiv order equivalence des blocs #12051 - branch#ACL/IwBlocks_Finite étude des blocs sous des hypothèses de finitude ACL/IwPrimitive définition de la primitivité ACL/IwPrimitiveFinite cas particuliers sous des hypothèses de finitude théorème de Rubio #12048 - branch#ACL/Iwasawa le critère de simplicité d'Iwasawa