Et voici l’emplacement du fichier “options” sous Windows.la partie grisée correspond à l’utilisateur “users”