La fonction eof: end of file

Lorsque la fenêtre X^ est déplacée au-delà de la fin du fichier, la fonction logique prédéfinie eof(X) produit la valeur true (eof = end of file). Lorsqu'un fichier X est vide, on a toujours eof(X) vrai.