An example in the solvability theory of linear PDE's - Gilioli, Antônio; Treves, François (American Journal of Mathematics, 1974)