Attribution de la qualité d’officier de police judiciaire à des militaires de la gendarmerie