12-45/4だよね。
パナライカ12-60を使っているけれど、望遠端が45mmまであれば結構使える印象なので、サイズ重視で12-45/4でも良さそうではあるね。