12.000 licenciement chez Google, à l'aube d'un duel avec Microsoft autour de l'IA (et de ChatGPT)