[Tutti-commits] 01/02: On arrondit les composants d'une coordonnée (See #7857)