@ZIPDFILESIZE[ziparchive,n]:  Renvoie la taille décompressée du fichier n dans une archive .zip.

 

Voir aussi ZIP et UNZIP

 

Exemple :

 

zip tcc *.cpp

echo %@zipdfilesize[tcc.zip,0]

46868.