Lightweight extrados restraining elements for the anti-seismic retrofit of single leaf vaults. (15th June 2017)