those are extremes .... I have one which is even a lot smaller
It used to belong to my grandmother. No idea when it was made but I guess the 1920's - 1930's ?
I don't know exactly how small it is but I think it could be a tiny 12 mm LOL
Now unless somebody has a JLC 101, this will be difficult to beat