Le patch tuesday de juillet 2020 corrige une faille grave dans Microsoft DNS Server