Un feuilletage de dimension p (ou de codimension q = m-p) est la donnée d'une relation d'équivalence ouverte R sur une variété différentiable M de dimension m vérifiant les deux propriétés qui suivent: (i) pour tout x M, ils existent un overt U de M et un un homéomorphisme de U vers son image envoyant toute classe d'équivalence de la relation restriction R/U de R à U est la trace d'un plan...