7z — family of archive file formats used by 7-Zip