synchronized bis
corrections pour mieux gerer les situations innatendue : 'go' sans avoir de 'call' a l'etage courant + 'userHasExited' sans avoir eu de 'go'