Counting of service paid from contingencies with regular service for retirement benefits of employees who have put in such service