Pour quel format de compression opter ? gzip, car il est très populaire et supporté sur toutes les plateformes, ou bien bzip2, moins populaire, plus lent, mais générant des archives plus petites ?