Hello,

ceci n'est pas du Java, mais je suppose que c'est du Groovy ou quelque chose de ce genre, donc on peut utiliser les classes Java normales.

String.format() s'occupe lui-même des arrondis....