L'éditeur de configuration permet de modifier certaines options de configuration inaccessibles depuis les préférences d'une application.
