ma alla fine è un altro dispositivo della serie redmi note 9?