642, nota 1157 "Constituindo a redutibilidade judicial da pena uma medida com fundamento em princípios de ordem pública, ela deve ser actuada oficiosamente pelo tribunal, com independência, pois, do pedido do devedor”.