¿Cómo se paga el feriado del 1º de mayo (empleado de comercio) si es trabajado? ¿Se debe pagar al 100%, no se puede trabajar o se paga el triple?

http://www.ele-ve.com.ar/Feriado-del-1o-de-mayo.html