Intuitively, a foliation corresponds to a decomposition of a manifold into a union of connected, disjoint submanifolds of the same dimension, called leaves, which pile up locally like pages of a book. The theory of foliations, as it is known, began with the work of C. Ehresmann and G. Reeb, in the 1940's; however, as Reeb has himself observed, already in the last century P. Painleve saw the necessity of creating a geometric theory (of foliations)...