Microsoft licencie environ 10.000 employés, nouveau coup dur dans la tech