The choreography of the pedestrian