Je trouve que le curseur devient de plus en plus lent, surtout dans mes terminaux ssh, alors que personne d'autre que je connais n'a de latence sur notre cluster. Je ne suis pas sûr de la solution...