What is the name of the lamp in Pixar Animation Studios' logo?

Lightning

Luxo Jr.

Lampy

Pixie