Texto oficial
Artículo 84.- El empleado que ocupe casa de propiedad fiscal o arrendada por el Fisco, pagará una renta de arrendamiento que no excederá del 15% de su sueldo.
El Ministerio respectivo fijará en el mes de diciembre de cada año la cuota que haya de descontarse al empleado en el año siguiente para cumplir esta obligación, y el decreto será visado por el Ministro de Hacienda.
El sueldo de los empleados que gozan de asignación legal para casa está sujeto al mismo descuento en el caso de ocupar casa fiscal o arrendada por el Fisco.
El Presidente de la República podrá exonerar del pago de renta de arrendamiento al personal que preste servicios de cuidado o vigilancia del edificio público en que habita, y al que viva en los campamentos de obras en estudios o construcción.