Microsoft licencie plus de 9 000 employés, notamment chez Xbox