Extensions de quelques théorèmes classiques sur les applications différentiables et les variétés différentiables au cas $p$-adique.