Windows 10 : la mise à jour de mai 2020 corrige un vieux bug et booste les performances de la recherche