Oui, c'est bien le script moodle-core-formautosubmit-min.js et il est bien présent dans le dossier, le mystère reste entier...
Tu as raison, Christian, le mieux est de mettre à jour, c'est ce que je vais faire. C'est juste dommage de ne pas comprendre ce bug
Merci pour ta réponse !
Cécile