J’ai trouvé ça : https://eligrey.com/demos/FileSaver.js/ mais je ne sais pas si on peut le faire dans un pdf.
Non, ça ne fonctionnera pas : exécuté depuis un document PDF un JavaScript ne peut pas sortir dudit document, contrairement à ce qui peut se faire dans les navigateurs web.
On peut enregistrer un fichier texte en pièce jointe dans le PDF mais ça passe par une autre méthode.