4 égale 7.
Il a bien fallu remplacer la fête anniversaire de la Révolution, 25 octobre-7 novembre, et ses fastes devenus rituels, par quelque chose. Ce fut, en vitesse, le 4 novembre. Victoire sur les Polonais, quelque part au XVIIE siècle. J'ai écrit en détail...