Dual-boot Windows-Linux : Microsoft partage une astuce pour démarrer votre PC, la voici