Quali sono i principali documenti necessari per la formazione online sul D.lgs 81/2008 per il datore di lavoro RSPP alto rischio?