  We prove a version of Montel's theorem for analytic functions over a
non-archimedean complete valued field. We propose a definition of normal family
in this context, and give applications of our results to the dynamics of
non-archimedean entire functions.
