Enrico Trummer élabore “le dernier chiffre après la virgule” :-)