Ultrametric and non-locally convex analogues of the general curve Lemma of convenient differential calculus
H. Glöckner, Glasgow Mathematical Journal 50 (2008) 271–288.