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.