La nouvelle version Insider de Microsoft corrige des problèmes dans la mise à jour d’octobre 2018 de Windows 10