Un outil qui facilite la création de bookmarklets, ces petits morceaux de JavaScript que vous pouvez exécuter sur n'importe quelle page depuis vos favoris.