Old people and their mobility in a theme park: the park of Pinocchio's european friends at Collodi.