Fichero cortito de prueba para tidy
También sirve para comprobar cómo tidy identa bien el fichero.