Ordinateur et Internet Comment activer la virtualisation dans le BIOS, pour des machines virtuelles plus rapides