I downloaded Debian7 stable 64bit lxde iso, from the debian download page
https://www.debian.org/CD/http-ftp/ , on a linux pc.
I installed the Debian iso on an usb stick with the program "unetbootin" (pc connected to the internet with a LAN cable).
I booted the pc from the usb and installed a parallel boot Win7 / Debian according that advice
https://www.youtube.com/watch?v=HYw3FUnh-CQ
a) I installed the realtek firmware on the pc in order to make the wifi working (it...