Higher derived analytic stacks (Part II/II)

I explain how to extend the construction of the first part to take into account the derived structure of the higher stack constructed in Part 1. This gives an analogue in analytic geometry of the derived stack Perf of Toën and Vezzosi.