On 15 April 2019, the Notre-Dame Cathedral, in Paris, was severely damaged by a fire that was extinguished after 15 hours. As consequence the cathedral’s wood-and-lead spire and the roof were destroyed, together with several works of art. However the stone vaulted ceiling below the roof saved great part of the interior, by preventing the…