Nouveaux fichiers setup; changements mineurs dans les préférences