Universels relatifs et topos de faisceaux sur des modèles de Kripke : autour des coupures/recollements de l’infini dans L’Immanence des vérités