groupes d'inertie = extension de corps de nombres = algèbre = théorie des nombres = carrément rien à voir avec la SI

Et puis finalement on a trouvé des systèmes rigides, cmb donc.