Thomas paga su cláusula y cambia el Atlético por el Arsenal el último día del mercado de fichajes