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