LOS TRABAJADORES AL SERVICIO DEL ESTADO TIENEN DERECHO AL PAGO DE HORAS EXTRAS SI LABORAN MÁS ALLÁ DE LA JORNADA PACTADA, AUNQUE ÉSTA SEA MENOR A LA LEGAL