un fichero llamado file.