Oui, 7zip compresse très nettement mieux que zip et un peu mieux que rar. Bien sur après ça dépend des fichiers, parfois ça ne changera presque rien, mais parfois la différence peut être énorme (j'ai eu des cas où c'était un facteur 10, comme sur des images ROM ou des logs de musique de jeu). D'une façon générale avec ce que je distribue c'est assez couramment un facteur 2, et c'est un gros plus pour la bande passante de mon site, le temps d'upload, etc.

Par exemple si je prends une grosse appli au hasard:

Ici autant dire que le distributeur et l'utilisateur apprécieront