Las horas extras trabajadas se pagarán doble en todos los casos, de acuerdo a lo dispuesto por laudo de fecha 29 de junio de 1956, publicado en el "Diario Oficial" del 12 de julio de 1956.