Abstract
The main goal of this project, in the master level, is to study a Baouendi-Treves approximation formula, which states that every homogeneous solution of an involutive structure can be, locally, approximated by polynomials in their first integrals, and some of its applications, such as the problem of the propagation of zeros of homogeneous solutions.