Les publications des talents d'Univalence 4/17