faire_fonctionner_les_touches_orig_et_fin_dans_un_putty_avec_debian