Большой русско-испанский словарь
мартеновец
марте́новец
м.
см.
мартенщик
Большой русско-испанский словарь
мартен
мартеновский