Un théorème de type Haefliger définissable

Soit M une sous-variete definissable dans une structure o-minimale A et soit omega une 1-forme differentielle A-definissable et qui definit un feuilletage de codimension un sur M. Nous montrons qu'il existe un recouvrement fini de M par des ouverts A-definissables M1 , ..., Mr qui verifient la propriete suivante : pour chaque i, tout lacet C1 inclus dans Mi est tangent a noyau de la forme omega en un point.