https://123dok.net/document/q054r2rx-décompositions-cascades-systèmes-automatiques-feuilletages-invariants.html