K. Lonsted, “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., vol. 22, pp. 51–62, Jun. 1968.