Les publications des talents d'Univalence 7/17