Propagation of multi-TeV muons | Synapse