Les publications des talents d'Univalence 9/17