Библиотéка и́мени Лéнина (Лéнинка)
Официальное название − Российская государственная библиотека (РГБ). Национальная библиотека России, самая большая библиотека страны.
Энциклопедическая справка
В языке и речи
В разговорной речи РГБ по традиции называют Библиотека Ленина или Ленинка.