Pedro hos en annan franst lärd , astronomen Leverrier — kejsaren af Brasilien är,