Daí decorre necessariamente que, não tendo sido alegada, e, por maioria de razão, não tendo sido provada pela devedora a excessividade manifesta daquela cláusula penal, e não sendo a mesma de conhecimento oficioso, não podia ter operado a sua redução.