correction d'un bug de longue date qui pouvait provoquer des plantages occasionnels dans les jeux en réseau