Quali sono i documenti legali necessari per formalizzare la delega ad un RSPP esterno?