Trove : l'extension qui permet de sauvegarder des informations surlignées sur le Web directement dans Notion