Salut, Sylvain Sauvage a écrit :
Par contre, ce n'est pas parce que le fichier porte l'extension .gz qu'il est gzipé. Surtout s'il a été dézipé pendant le téléchargement (ça arrive avec certains navigateurs : ils dézipent à la volée mais ne changent pas le nom).
Un petit "file <nom_du_fichier>" pourrait en dire plus.