Gracias a todos. El Realme tiene buena pinta, tal vez "demasiado bueno", los que comentáis cuestan unos 200€. Otra opción es utilizar el móvil que utilizo actualmente como personal a trabajo y el nuevo como personal, pero para evitar formatear ambos casi prefiero el nuevo directamente de trabajo.
¿Algún otro móvil algo más económico?.