gzip

Le format .gz est celui qui est le plus répandu aujourd'hui en matière de compression rapide et assez efficace. On lui préfèrera peut-être bzip2 si le temps de compression n'est pas important, mais le ratio si.

installé par le CRI