changement de getSymbol

permet l’utilisation de getSymbol dans un snapshot
Snapshot.getAgentId() retourne un int au lieu d’un Integer : -> -1 si
l’agent n’existe pas