Microsoft et diversité : réduction controversée de l’équipe DEI face à des enjeux sociétaux majeurs 17 juillet 2024