Seulement si tes 9 décimales sont ensuites réutilisées dans d’autres calcul ? Si par exemple en les négligeant, au bout d’un certain nombre de calcul, l’une des 3 première décimales est modifiée ? Dans ce cas, je ne pense pas que l’on puisse dire qu’elles sont inutiles.