Quali sono gli strumenti didattici utilizzati durante il corso di aggiornamento per formatori RSPP in ambito alto rischio?