Zipper des fichiers sur frama.space directement

Bonjour, j’ai eu besoin ces derniers jours de zipper un fichier présent sur le frama-space. J’ai regardé et n’ai pas trouvé cette possibilité. Je sais qu’elle existe avec nextcloud, serait t’il possible d’ajouter cette fonctionnalité. J’ai, pour le moment, compressé localement mon fichier et rappatrié ce zip sur le serveur (un peu lourd comme manoeuvre) merci pour votre travail