yep. J'installe dans /opt moi, il faut pas ?
$HOME me sert pour mes données personnelles propre à ma distro (quelques scripts, un fond d'écran, quelques dl pas encore triés etc...). Pour moi c'est pas un espace pour les exécutables "lourds".