Soit un entier . Pour un nombre premier on note l’extension maximale non ramifiée de . Supposons que divise exactement . Alors, en utilisant les travaux de Carayol et la théorie du corps de classes local, on détermine une extension de sur laquelle la jacobienne de la courbe modulaire de admet une réduction semi-stable, puis on donne une estimation de son degré.
We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation". This property can be viewed as a special kind of overconvergence property. One can also go in the opposite direction by using differential functions that arise in a ramified situation to construct "new" (unramified) differential functions.