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. https://doi.org/10.7146/math.scand.a-10870.