[Observe-commits] 02/04: Ajout de l'option ui.coordinate.format (CoordinateFormat)