Enregistrement paramètre par défaut dans l'iDE

Bonjour

Travaillant dans un établissement scolaire, les élèves s'identifient avec leur session sur les postes informatique avant de pouvoir utiliser l'IDE d'Arduino (pour des raisons de commodité, il est mis sur des clés USB).
Je souhaiterai pouvoir modifier les paramètres par défaut du logiciel mais quand je le fais, ces paramètres ne sont sauvegardés que pour l'utilisateur actif.
Je suppose qu'il existe un fichier d'initialisation qui permet d'établir les paramètres par défaut mais je ne le trouve pas : quelqu'un peut-il m'indiquer où il se trouve (s'il existe) ou sinon de m'aider à sauvegarder les paramètres.
Merci

Bonjour nlbmoi

Regardes https://www.arduino.cc/en/main/preferences.
Si tu est "sous" Windows, pour voire le répertoire Application Data, il faut faire apparaître les éléments masqués, dans le menu Affichage de l'Explorateur de fichiers.

Cordialement
jpbbricole