sedan woro nägra arbetare sysselsatta med att reparera taket pä elefanthuset i Jardin des Plantes i Paris.