Planetarium#

Planetarium; the original building, which dated from the First Republic, was destroyed in the Second World War and reconstructed in 1964;