Soit $X$ un espace $k$-affinoïde, soit $K$ un sous-ensemble compact de $X$, soit $x\in X\mathchoice{\mathbin{\vrule height=3.09999pt,width=6.93192pt,depth=-1.63612pt}}{\mathbin{\vrule height=3.09999pt,width=6.93192pt,depth=-1.63612pt}}{\mathbin{\vrule height=2.15277pt,width=3.65973pt,depth=-1.20554pt}}{\mathbin{\vrule height=0.86108pt,width=2.45418pt,depth=-1.03334pt}}K$. Il existe une fonction lisse sur $X$ qui vaut $1$ au voisinage de $x$ et nulle au voisinage de $K$.