Supposons que $|k^{\times}|=\{1\}$, soit $X$ une $k$-variété algébrique et soit $E$ un fibré vectoriel sur $X$  ; notons $E^{\text{an}}$ le fibré vectoriel sur $X^{\text{an}}$ déduit de $E$. On peut voir la variété $X$ comme un schéma formel localement topologiquement de type fini $\mathfrak{X}$ sur $k^{\circ}=k$ et $E$ comme un fibré vectoriel formel $\mathfrak{E}$ sur $\mathfrak{X}$.

Supposons de plus que $X$ soit propre. On dispose alors d’isomorphismes canoniques

Par conséquent, $E^{\text{an}}$ hérite d’une métrique PL naturelle. Si $x$ est un point de $X^{\text{an}}\simeq\mathfrak{X}_{\eta}$ et si $\bf x$ désigne son image sur $X\simeq\mathfrak{X}_{s}$ alors $(\overline{\{\bf x\}},E|_{\overline{\{\bf x\}}})$ est un prémodèle de $\widetilde{E^{\text{an}}}(x)$ (où $\overline{\{\bf x\}}$ est muni de sa structure réduite).

Notons un cas particulier important : si $X$ est intègre, si $\xi$ désigne son point générique, et si l’on note $x$ le point de $X^{\text{an}}$ correspondant à la flèche $\operatorname{Spec}(k(\xi),|.|_{0})\to X$, alors $(X,E)$ est un modèle du fibré résiduel de $\overline{E^{\text{an}}}$ en $x$.