Changer le titre d'un onglet gnome terminal

[Daniel C]

Bonjour,

Dans gnome terminal, on peut changer le titre via le menu terminal/changer le titre.

Je voudrais le faire par script, depuis l'onglet déjà ouvert, y'a moyen ?

Dans le man, j'ai vu comment ouvrir un nouvel onglet en lui donnant un titre, mais rien sur les onglets déjà ouverts.

Daniel

PS: pour la raison, c'est que le titre user at host est très bien mais ne change pas quand je change de host, et c'est vraiment pas pratique avec des 
onglets différents sur des machines différentes mais qui ont tous le même titre.