att hans lik skall begrafvas i Lateranens basilica.