Soit $Y\to X$ un morphisme entre espaces $k$-affinoïdes, où $Y$ est purement de dimension $n$. Soit $(\alpha_{1},\ldots,\alpha_{m})$ une famille de formes à coefficients mesurables sur $Y$. Soit $K$ un compact contenu dans $\operatorname{Int}(Y/X)$ constitué de points $y$ tels que $d_{k}(y)=n$.

Il existe un voisinage affinoïde $V$ de $K$ dans $\operatorname{Int}(Y/X)$, qui est un domaine rationnel de $Y$, et un moment $g\colon V\to T$ tels que les deux propriétés suivantes soient satisfaites :

1) $g$ tropicalise chacune des $\alpha_{i}|_{V}$  ;

2) $g_{\text{trop}}(\partial(V/Y))\cap g_{\text{trop}}(K)=\emptyset$.