Quali sono i principali strumenti utilizzati per la formazione in aula sulla sicurezza per RSPP interno?