Nomeação, em comissão de serviço, do procurador da República Jorge Martins como inspetor do Ministério Público