Guide pratique, à l'usage des officiers de police judiciaire, auxiliaires du procureur de la République dans la gendarmerie — capitaine Devienne