Windows 10 mise à jour de mai 2020 : un bug provoque de gros ralentissements dans les jeux vidéo