\int_{-\infty}^{+\infty} f(x)e^{-i\xi\,x} dx