Les publications des talents d'Univalence 13/17