
\begin{prop} (Formule de Plancherel) Soient $f, g \in C_c^{\infty}(F)$. \\
On a $f \hat{g}, \hat{f g} \in C_c^{\infty}(F)$ et:
  $$
  \int_F f(x) \hat{g}(x) d x=\int_F \hat{f}(x) g(x) d x
  $$
\end{prop}


\begin{prop} (Formule de Plancherel) Soient $f, g \in C_c^{\infty}(F)$. \\
On a $f \hat{g}, \hat{f g} \in C_c^{\infty}(F)$ et:
  $$
  \int_F f(x) \hat{g}(x) d x=\int_F \hat{f}(x) g(x) d x
  $$
\end{prop}
