Windows 10 : la mise à jour de juillet 2020 corrige un bug qui faisait planter et redémarrer le PC