Utilisation de Putty pour enregistrer les résultats dans un fichier