Thèmes pour E 0.16

Pour changer les polices de caractères d'un thème, il faut copier le .etheme en .tar, détarrer, modifier le fichier de config, re-tarrer, re-mettre à la place du .etheme,purge les caches, relancer E. Au moins.