Extensão de ficheiros serializados corretos