00A0 Remark 3.9. The above calculation is similar to the formalism developed by Chambert-Loir and Ducros, see [12, Lemma 5.7.1].