Quali sono i documenti da redigere per la designazione di un RSPP esterno?