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, pp. 51–62. doi: 10.7146/math.scand.a-10870.