Archivo usado en el ejemplo anterior