Essa quantia constituía, pois, e integrava a retribuição dos AA., independentemente da designação que lhe era dada nos recibos de vencimento; essa verba não correspondia a uma verdadeira compensação pela isenção de horário de trabalho.