Pot-pourri de noms de teams aux fils des années sur les projets du lab.
On vous invite à y contribuer en faisant des Pull-Requests.
Nous utiliserons ce repo pour générer la liste des noms de teams juste avant le lancement du projet.
Les teams qui proposent des noms auront un bonus sur leur note du Thot.