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