[Tutti-commits] 05/06: on arrondit avant la comparaison (refs #8151)