https://www.cyber-neurones.org/2018/03/ubuntu-gnome-terminal-ne-se-lance-plus/