Décret du 20 novembre 2019 portant nomination du major général de la gendarmerie nationale – M. JOCKERS (Bruno)