Neuf outils utilisés en interne par Big Tech sont devenus open source