20 milliards d'euros, c'est ce que pourrait rapporter la taxe Zucman à l'État