horas minguadas, gazua geral dos reinos de Portugal, etc.