Xiaomi annonce discrètement un nouveau Redmi Book qui râte le coche côté CPU