Soit $X$ un bon espace $k$-analytique topologiquement séparé, soit $x$ un point de $X$, soit $U$ un voisinage de $x$. Il existe une fonction lisse sur $X$ qui vaut $1$ au voisinage de $x$, et dont le support est compact et contenu dans $U$.