Depending on your operating system, the available archive file formats are zip, gzip, and war.
Selon le système d'exploitation utilisé, les formats disponibles pour les fichiers archives sont ZIP, GZIP et WAR.