Suppression de lignes inutiles dans editor.ini