La lanterna e la palla del Verrocchio negli interessi e nell'esperienza di Leonardo