Index: tex/texfileio.w
===================================================================
--- tex/texfileio.w	(révision 4639)
+++ tex/texfileio.w	(copie de travail)
@@ -1114,8 +1114,14 @@
     if (nitems == 0)
         return;
     if (gzread(gz_fmtfile, (void *) p, (unsigned) (item_size * nitems)) <= 0) {
-        fprintf(stderr, "Could not undump %d %d-byte item(s): %s.\n",
+        if (gzeof(gz_fmtfile)) {
+          fprintf(stderr, "Could not undump %d %d-byte item(s): End of file reached.\n",
+                nitems, item_size);
+        }
+        else {
+          fprintf(stderr, "Could not undump %d %d-byte item(s): %s.\n",
                 nitems, item_size, gzerror(gz_fmtfile, &err));
+        }
         uexit(1);
     }
 #if !defined (WORDS_BIGENDIAN) && !defined (NO_DUMP_SHARE)