Mercado de fichajes: Juanmi se marcha al Real Betis