den höga befattningen af » directeur du personel » i inrikesministeriet.