Les magistrats et l'administration de la justice: le Portugal et son empire colonial, XVIIe-XVIIIe siècle