Permettre l'export des résultats de la recherche dans le dico

ça serait bien utile, étant donné la taille du dico (pour usages pas spécialement en lien avec Wikicolor).