https://9lib.org/document/yr30mkm7-l-invariance-dimension-infinie-equivalence.html