Windows 7 : un bug oblige Microsoft à déployer une nouvelle mise à jour gratuite