Soit $X$ un bon espace $k$-analytique topologiquement séparé. Soit $K$ une partie compacte de $X$ et soit $U$ un voisinage ouvert de $K$ dans $X$. Il existe une fonction $f\colon X\rightarrow[0,1]$, qui est lisse et à support compact, qui vaut $1$ au voisinage de $K$ et qui est nulle hors de $U$.