Nouveau coup dur dans la tech : Microsoft va licencier environ 10.000 employés