Me parece una denominación más adecuada. Pero la denominación más correcta sería la de "LAGOS DE ANTUZANOS", ya que Antuzanos, .