zipfile para comprimir y descomprimir archivos ZIP en Python https://es.from-locals.com/python-zipfile/