Correction d'IdentityIntMap qui provoquait un bug de serialisation