Così può definirsi un file compresso