Ajout d'un onglet "Compiler settings" dans PreferencesDialog pour modifier le niveau d'abstraction par défaut