[1763] Quale delle seguenti estensioni del nome di un file si riferisce ad un tipo di file 'compresso'?