Ajouts divers (compression/decompression de fichiers nottament).