Modification des spécifications de notre protocole