HFA: lecteur fini