Les publications des talents d'Univalence 1/17