[Tutti-commits] 02/02: Termine #7857. Merge branch 'feature/7857_precision_sur_coordonnees' into develop