====== JSON ======

[[https://developer.mozilla.org/fr/docs/Web/JavaScript/Reference/Objets_globaux/JSON|source]]

JSON = null
    ou true ou false
    ou NombreJSON
    ou ChaîneJSON
    ou ObjetJSON
    ou TableauJSON

NombreJSON = - NombrePositif
          ou NombrePositif
NombrePositif = NombreDécimal
              ou NombreDécimal . Chiffres
              ou NombreDécimal . Chiffres PartiExposant
              ou NombreDécimal PartiExposant
NombreDécimal = 0
             ou UnÀNeuf Chiffres
PartiExposant = e Exposant
            ou E Exposant
Exposant = Chiffres
        ou + Chiffres
        ou - Chiffres
Chiffres = Chiffre
      ou Chiffres Chiffre
Chiffre = 0 à 9
UnÀNeuf = 1 à 9

ChaîneJSON = ""
          ou " ChaîneCaractères "
ChaîneCaractères = ChaîneCaractère
                ou ChaîneCaractères ChaîneCaractère
ChaîneCaractère = un caractère
                  sauf " ou \ ou U+0000 à U+001F
               ou SéquenceÉchappement
SéquenceÉchappement = \" ou \/ ou \\ ou \b ou \f ou \n ou \r ou \t
              ou \u ChifreHexadécimal ChifreHexadécimal ChifreHexadécimal ChifreHexadécimal
ChifreHexadécimal = 0 à 9
        ou A à F
        ou a à f

ObjetJSON = { }
          ou { Membres }
Membres = ChaîneJSON : JSON
       ou Membres , ChaîneJSON : JSON

TableauJSON = [ ]
         ou [ ÉlémentsTableau ]
ÉlémentsTableau = JSON
             ou ÉlémentsTableau , JSON1234567891011121314151617181920212223242526272829303132333435363738394041424344454647