), décompresse le RAR (avec un plugin non-libre, mais gratuit et livré avec) et compresse en un format meilleur (7z, normalement plus petit qu'un RAR, décompressible avec des outils libres (7-Zip et p7zip) et aussi avec WinRAR).), décompresse le RAR (avec un plugin non-libre, mais gratuit et livré avec) et compresse en un format meilleur (7z, normalement plus petit qu'un RAR, décompressible avec des outils libres (7-Zip et p7zip) et aussi avec WinRAR).