Hugging Face envisagerait une vente à 13 milliards de dollars · 3 rédactions