Pour les $\cD$-modules avec structure de twisteur polarisable *modérée*, Mochizuki identifie les $\cD$-modules holonomes produits au point à ceux correspondant, par Riemann-Hilbert, aux complexes d’intersection de fibrés plats munis d’une métrique harmonique modérée (voir le §\[sec:sauvage\] ci-dessous). La reconstruction (voir le §\[sec:prolong\]) s’appuie aussi, *in fine*, sur la théorie asymptotique des variations de structure de Hodge polarisable.

    -   Dans le cas sauvage, on se ramène d’abord à considérer une situation mieux contrôlée (cas sauvage et bon, voir §\[sec:sauvage\]). Mochizuki a montré, comme conséquence de sa démonstration de la correspondance de Hitchin-Kobayashi sauvage (§\[sec:HK\]), l’existence d’une compactification convenable $(Z,D)$ de $Z^o$ pour laquelle cette propriété est satisfaite. On peut désormais déconnecter cet argument de l’ensemble de la démonstration, et utiliser ici les résultats de Kedlaya [@Kedlaya09; @Kedlaya10] (voir le §\[subsec:singirreg\]), ce que je ferai pour simplifier l’exposé.

6.  \[enum:programme6\] La correspondance de Hitchin-Kobayashi, expliquée dans ce cadre à la section \[sec:HK\], permet enfin à Mochizuki de mettre en correspondance bijective les fibrés plats harmoniques modérés ou sauvages et bons sur $(Z,D)$ avec les fibrés *méromorphes plats semi-simples* lisses sur $Z^o$, généralisant ainsi le théorème de Corlette [@Corlette88] du cas projectif (voir aussi [@J-Z97] pour le cas quasi-projectif). Ceux-ci sont eux-mêmes en 