readgzfile() can be used to read a file which is not in gzip format; in this case readgzfile() will directly read from the file without decompression.
readgzfile() peut aussi service à lire un fichier qui n'est pas compressé: dans ce cas, readgzfile() va lire le fichier sans le décompressé.