A Lagrangian Neighbourhood Theorem for shifted symplectic derived schemes

Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209 defined $k$-shifted symplectic derived schemes and stacks $({\bf X} ,\omega_{\bf X} )$ for $k\in\mathbb Z$, and Lagrangians ${\bf f}:{\bf L}\to{\bf X}$ in them. They have important applications to Calabi-Yau geometry and quantization. Bussi, Brav and...