Ah oui j'oubliais: en tant que vrai geek, il convient de bidouiller le BIOS quelque peu. Profitons, tant que l'UEFI n'y est pas.