Vidéo explicative pour réaliser une archive (dossier compressé) au format 7z. La procédure est la même pour un fichier zip, il suffit de choisir en fonction de l'extension, un peu plus bas dans la liste.