
\begin{prop}
    L'espace vectoriel complexe $C_c^{\infty}(F)$ est engendré par les fonctions caractéristiques des ensembles $a+\varpi^n \OO$, $n \in \mathbb{Z}$, $a \in F$.
\end{prop}


\begin{prop}
    L'espace vectoriel complexe $C_c^{\infty}(F)$ est engendré par les fonctions caractéristiques des ensembles $a+\varpi^n \OO$, $n \in \mathbb{Z}$, $a \in F$.
\end{prop}
