Microsoft va licencier environ 10 000 employés, nouveau coup dur dans la tech