Hotchkiss manufacture