Soit $X$ un bon espace $k$-analytique de dimension $n$. Soit $\omega$ une $(n-1,n)$-forme mesurable sur $X$ dont le support est fortement paracompact dans $X$ et ne rencontre pas $\partial X$. On a alors $\int_{\partial X}\mathopen{|}{\omega}\mathclose{|}=0$, et $\int_{\partial X}\omega=0$.