Quali sono i documenti necessari per attestare la formazione di RSPP esterno?