Nomeação, em regime de comissão de serviço e em regime de substituição, de Pedro Miguel Batalha Marques como chefe da Divisão de Infraestruturas Informáticas