Atmospheric muons: experimental aspects