Xiaomi Redmi Note 13 Pro vs 13 Pro Plus – La version Plus des smartphones de Xiaomi en vaut-elle la peine ?