>>682
それ中の動画再エンコしたり不要なファイル削ったりしてisoを小さく作り直してるだけ
iso自体が圧縮されてる訳じゃない
isoは非圧縮のディスクイメージファイルでありmp4やmkvのような圧縮されたコンテナファイルとは全く別物