This talk concerns the classical Frobenius theorem from differential geometry, about involutive distributions. For many problems in harmonic analysis, one needs a quantitative version of the Frobenius theorem. In this talk, we present such a quantitative version, and discuss various applications.