Mausoleo del Marques de Vauban en la iglesia del Dome, Paris