Panne CrowdStrike : Microsoft déploie un outil pour réparer plus rapidement les machines affectés