oui, j’ai réussi à faire fonctionner PuTTY, mais je l’ai trouvé parfois buggé avec la mise en surbrillance
est-ce que ça a bien fonctionné ?
