Com as minhas desculpas a quem de direito e um agradecimento ao Rui (do Adufe) pela informação, aqui fica o endereço da página, de resto magnífica, do Museu da Presidência da República.
(Só não descobri como é que o Google, que abençoo todos os dias, me pregou esta partida. Erro meu, seguramente!)