extension→. [type de fichier] [compression]. Extension de nom de fichier correspondant à un fichier compressé avec gzip.
