Modif id : string -> entier