Artur Virgílio Alves dos Reis (n.