Atmospheric muon and neutrino fluxes at very high energy