Guarini, Hardouin-Mansart, Bahr: tre soluzioni per la cupola a doppia calotta traforata