Etiquedas de archivo: deducir declaracion