EUREKA: Document de file format.