Microsoft va licencier environ 10'000 employés