Ah, thanks for that article, it might come in handy :)
I thought about doing it this way, but was rather planning to do it slightly differently, by building the right modulator (at, what was it? 2600 bauds? it should be pretty doable to bit-bang using an arduino, or the RPI's GPIO. Maybe even with a digital output, though I'm thinking of using a DAC. Or hell, if using a raspberrypi, why not the audio or video output?
Don't see why not, most European equipment is built to handle a range of 220-240V at least, whatever the marking says. At worst the screen might display slightly smaller than intended.
I bought one last year and it's honestly pretty fun to get them to work and display a Linux tty. I'll try to get some home automation stuff running on it if I can.
https://www.ebay.fr/sch/i.html?_nkw=minitel