Thanks a lot for both posts ! I know well about Kienzle and have bought from them in the past. I will write them and let you know.
I think, if I do not find the part now, the priority is to fix the enlarger head myself. Not so difficult. Then I will probably take time to find this part at a reasonable price.