Local invertibility and Lie group of superposition operators on harmonic Fock spaces | Synapse