  Let $X$ be an analytic space over a non-Archimedean, complete field $k$ and
let $(f_1,..., f_n)$ be a family of invertible functions on $X$. Let $\phi$ the
morphism $X\to G_m^n$ induced by the $f_i$'s, and let $t$ be the map $X\to
(R^*_+)^n$ induced by the norms of the $f_i$'s. Let us recall two results.
  1) The compact set $t(X)$ is a polytope of the $R$-vector space $(R^*_+)^n$
(we use the multiplicative notation) ; this is due to Berkovich in the locally
algebraic case, and has been extended to the general case by the author.
  2) If moreover $X$ is Hausdorff and $n$-dimensional, then the pre-image under
$\phi$ of the skeleton $S_n$ of $G_m^n$ has a piecewise-linear structure making
$\phi^{-1}(S_n)\to S_n$ a piecewise immersion ; this is due to the author.
  In this article, we improve 1) and 2), and give new proofs of both of them.
Our proofs are based upon the model theory of algebraically closed,
non-trivially valued fields.
  Let us quickly explain what we mean by improving 1) and 2).
  - Concerning 1), we also prove that if $x\in X$, there exists a compact
analytic neighborhood $U$ of $x$, such that for every compact analytic
neighborhood $V$ of $x$ in $X$, the germs of polytopes $(t(U),t(x))$ and
$(t(V),t(x))$ coincide.
  - Concerning 2), we prove that the piecewise linear structure on
$\phi^{-1}(S_n)$ is canonical, that is, doesn't depend on the map we choose to
write it as a pre-image of the skeleton; we thus answer a question which was
asked to us by Temkin. Moreover, we prove that the pre-image of the skeleton
'stabilizes after a finite, separable ground field extension', and that if
$\phi_1,..., \phi_m$ are finitely many morphisms from $X\to G_m^n$, the union
$\bigcup \phi_j(S_n)$ also inherits a canonical piecewise-linear structure.
