Correction d'un bug sur la serialisation d'un nombre