Le EOF n'est pas réécrit