Normalement oui, ça devrait fonctionner. As-tu vérifié dans la doc JavaScript s’il ne fallait pas passer des arguments avec la fonction app.execMenuItem ?
Sinon, il y a la méthode “brut force” : tu ouvres les fichiers PDF avec un éditeur de texte (NotePad, TextEdit…) scriptable et tu lui demande de remplacer le “1.5” qui figure sur la 1re ligne du fichier par “1.4”, et d’enregistrer.
:thumb: 
😉