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