Quali sono le procedure di sicurezza specifiche che vengono approfondite nel corso di aggiornamento per formatori RSPP alto rischio?