Les publications des talents d'Univalence 17/17