suppression conf gnome terminal et ajout d'un script pour gerer le theme gnome terminal