Quali sono i principali documenti che devono essere redatti dal coordinatore per la sicurezza?