Décret n° 2016-155 portant régime de prévention et de réparation des risques professionnels applicable aux magistrats