[Observe-commits] 05/05: fixes #7007: Améliorer l'affichage des coordonnées Merge branch 'feature/7007' into develop