Muon-pair production by atmospheric muons in CosmoALEPH.