Lonsted, K. (1968). Extensions de quelques théorèmes classiques sur les applications différentiables et les variétés différentiables au cas $p$-adique. Mathematica Scandinavica, 22, 51-62. https://doi.org/10.7146/math.scand.a-10870