https://www.moyens.net/linux/comment-installer-le-theme-mgt-gtk-sur-linux/