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: 
😉