La Journée des piques, le 20 juin 1792 — Fernand Martin