Fix: silently ignore unused pref names

app/scodoc/sco_preferences.py

@@ -1808,7 +1808,9 @@ class BasePreferences(object):
             for p in preflist:
                 if not p["formsemestre_id"] in self.prefs:
                     self.prefs[p["formsemestre_id"]] = {}
-
+                # Ignore les noms de préférences non utilisés dans le code:
+                if p["name"] not in self.prefs_dict:
+                    continue
                 # Convert types:
                 if (
                     p["name"] in self.prefs_dict