Une famille $(e_{1},\ldots,e_{n})$ de sections de $\bar{E}^{\circ}$ sur $(X,x)$ est une base orthonormée de $\bar{E}$ si et seulement si leurs réductions $\tilde{e}_{i}$ en $x$ forment une base des sections globales du fibré résiduel ${\mathsf{E}}$ de $\bar{E}$ en $x$.