[Tutti-commits] 04/05: Correction de l'arrondi (See #8128)