Introduction to homotopical algebraic geometry following Toen-Vezzosi II