Les publications des talents d'Univalence 15/17