The high–energy muon flux at sea level up to 10 TeV derived from an observation of the burst-size spectrum | Synapse