Soit $\mathcal {V}$ un anneau de valuation discrète complet d'inégales caractéristiques, de corps résiduel parfait. Soit $\mathfrak {X}$ un schéma formel lisse sur $\mathcal {V}$. Nous définissons la notion de $\mathcal {D} ^\dagger _{\mathfrak {X}}({}^\dagger D) _{\mathbb {Q}}$-surcohérence dans $\mathfrak {X}$ (après tout changement de base), ce qui correspond a priori à une notion plus faible que celle de $\mathcal {D} ^\dagger _{\mathfrak {X}}({}^\dagger D) _{\mathbb {Q}}$-surcohérence. Nous établissons qu'un module $\mathcal {D} ^\dagger _{\mathfrak {X}}({}^\dagger D) _{\mathbb {Q}}$-surcohérent après tout changement de base est $\mathcal {D} ^\dagger _{\mathfrak {X}}({}^\dagger D) _{\mathbb {Q}}$-holonome. De plus, nous en déduisons la propriété suivante de stabilité de la surholonomie : un complexe borné de $\mathcal {D} ^\dagger _{\mathfrak {X},\,\mathbb {Q}}$-modules $\mathcal {E}$ est surholonome après tout changement de base si et seulement si, pour tout entier $j$, $\mathcal {H} ^{j} (\mathcal {E}) $ est surholonome après tout changement de base.