José Tolentino Mendonça vai ser bibliotecário do Vaticano