Universe discrepancies in nominal presheaf models of parametric type theory. (Sur la divergence d'interprétation des univers dans les modèles de préfaisceaux nominaux de la théorie des types paramétriques). - Sarah Reboullet (2025)