Ovcyannikov theorem and hyperdifferential operators - Treves, Francois (Notas de matemática, 46, 1968)