Ordinance to provide for the granting of pensions to certain civil servants in certain circumstances