Văn bản này: A Lagrangian Neighbourhood Theorem for shifted symplectic derived schemes