Microsoft va licencier environ 10 000 employés