Fichero cortito de prueba para tidy

También sirve para comprobar cómo tidy identa bien el fichero.