After this, the graphical interface didn’t work (a bad fglrx: No matching Device section for instance (BusID PCI:0@0:1:1) at boot-up)… This is because there is one more step to do (which is not present in the aforementioned guide):in the BIOS, the option Switchable graphic needs to be set to Discrete