Exports de fichier : Ajouter la date en millisecondes aux noms de fichiers exportés pour garantir leur unicité

Problème rencontré dans Thalia : "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." Ce problème peut également se produire dans DiverCILand. Pour éviter cela, ajouter a la fin des noms de fichiers le temps « time » en millisecondes pour être sur que le nom soit unique.