Kejsar Pedro är , såsom allom bekant,