Quali sono gli strumenti disponibili per monitorare l'andamento del corso di formazione per RSPP alto rischio?