Bonjour, Le jeudi 14 février 2019, ajh-valmer a écrit... > J'édite des fichiers sur un serveur distant (Debian), Comment ? -- jm