Thanks for your reply Toonzever.
Yes, I installed TWRP, and then went in recovery. I’ve made a backup and followed the other instructiins I had to do. I tried to install the xiaomi.eu ROM, but it said unable to check MD5SUM (don’t have the precise warnings anymore), and all the other things it...