Barnevelt, tragédie... représentée pour la première fois sur le théâtre de la Nation, le 30 juin 1790 — Antoine-Marin Le Mierre