Général -> Exports de fichier : Ajouter la date en millisecondes aux noms de fichiers exportés pour garantir leur unicité

Lorsque deux personnes exportent des fichiers en même temps depuis Thalia, notamment des résultats du refine search, les fichiers peuvent se mélanger. Ajouter a la fin des noms de fichiers le temps « time » en millisecondes pour être sur que le nom soit unique.