חוק שירות המדינה (משמעת) (תיקון מס' 9), התשנ"ד-1994