Manuel-dictionnaire des juges d'instruction — Maurice Gabolde