4 — O trabalhador que realiza a prestação em empresa legalmente dispensada de suspender o trabalho em dia feriado obrigatório tem direito a um descanso compensatório de igual duração ou ao acréscimo de 100% da retribuição pelo trabalho prestado nesse dia, cabendo a escolha ao empregador.