et $\|.\|$ be the $\Gamma$-invariant map from $\mathsf{U}_{\hbox{\tiny $\mathrm{rec}$}}\mathbb{A}$ to the space of euclidean metrics on $\mathbb{R}^0 \times \mathbb{R}^0$ as constructed in the proof of proposition \[prelip\]