Fin du support de Windows 10 : comment installer Linux en dual boot sur votre PC ?