---

Dear Igor,

About the size: it may be over-estimated. Maybe 5-7mm would be more correct. I'll post below a photo of the whole leaf. Maybe someone will recognize the plant and know what is the size of the "peaks".

I post below the other photo.

I hope it can help.