Lonsted K. Extensions de quelques théorèmes classiques sur les applications différentiables et les variétés différentiables au cas $p$-adique. Math. Scand. 1968;22:51-62. doi:10.7146/math.scand.a-10870