On an analyticity property in (complex) phase space | doi.page