Tipología documental citada en tesis doctorales de informática: bases empíricas para la gestión equilibrada de colecciones