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.