Wigner transform by Claude Becker

(compilation error)

Definition can not be compiled into PDF.