Salut,

D'après l'entête des fichiers, la taille compressée est dans le 2ème mot de 4 octets (big endian), la taille décompressée dans le 6ème mot de 4 octets, et les données à envoyer dans la fonction uncompress de la bibliothèque gzip commencent au 140ème octet (78 DA etc...).

EDIT:

Accessoirement, pour les fainéants, sous Unix on peut faire :
cat fichier | (/bin/echo '\037\0213\010\000\000\000\000\000\000' ; dd bs=142 skip=1) | gunzip -dc > fichier_décompressé

Ne pas tenir compte du message "gunzip: stdin: unexpected end of file", le fichier généré est tout de même correct.

/R One