Musique de la Gendarmerie Mobile, Musique Principale des Troupes de Marine, Jean-Noël Crocq