Les publications des talents d'Univalence 5/17