Ancien des Brigades internationales, Martinet aurait dirigé le service de renseignements du Comité militaire national FTP créé au printemps 1941.
SOURCE : Cl. Angeli et P. Gillet, Debout, partisans !, op. cit. — R. Faligot et R. Kauffer, Service B, Fayard, 1985. — C. Tillon, On chantait rouge, Laffont, 1977.