Analytic hypoellipticity for sums of squares and the Treves conjecture

We point out explicitly that this is a counterexample to the sufficient part of Treves conjecture and not to the necessary part, which is still an open problem.