Salut,
A tout hasard, il existe un paquet (chez Debian, donc probablement aussi chez ubuntu) qui permet d'installer greasemonkey sans aller le chercher chez mozilla et avec les avantages des paquets :
sudo apt-get install xul-ext-greasemonkey
Il y en a d'ailleurs beaucoup d'autres de type xul-ext (adblock, noscript...) directement installables.
