[Tutti-commits] 01/06: ajout d'un renderer de poids qui affiche le bon nombre de decimales (fixes #8151)