https://www.lojiciels.com/comment-enregistrer-un-editeur-sous-linux/
Comment enregistrer un éditeur sous Linux ?