General Radio P22 : quelles lampes?