[Rough Rock 017] options paramètres préférences