Les publications des talents d'Univalence 16/17