Pour la ROM d'origine : https://xiaomistockrom.com/xiaomi-redmi-note-7 Je n'ai pas le détail, mais je suppose qu'il faut utiliser "fastboot" pour l'installer. (Plus facile avec un PC linux : sinon, tu auras également besoin des drivers windows pour ton téléphone : https://xiaomi.eu/community/threads/installing-xiaomi-drivers-for-pc.73382/). Mais si vous aviez auparavant installé LineageOS, ce n'est sans doute pas un problème ?