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