Лампа Дэви — шахтерская лампочка, устраняющая опасность взрыва газа; изобретена знаменитым английским химиком сэром Гэмфри Дэви в 1815 году.
646
Добавление к нашему скромному Портику… — Аристотель вел беседы с учениками во время прогулок, нередко — в галереях, поддерживаемых колоннадой (портиках).
