Cessação de funções, por aposentação, de António Jorge Pais Costa Pinto e Manuel Fernando Antunes Araújo