Mushroom vent is the size and style alright, but they all seem designed to let air in rather than light. Seems to be similar ones for boats too, again vents rather than lights.
The square one is what I have at the other end of the van, where the big flat bit of roof is, the mushroom type would fit better at this end where the roof is ribbed as it would fit between the ridges.
I love the washingmachine window idea, only a medium roof so I could stand with my head in it, but same problem as the square one, too big to fit on the flat bits between ridges.
.
Off to follow epicyclo’s suggestion and google portholes, wonder if I could fit a small one to a van roof and how it would stand being driven about at 80mph (in France of course, wouldn’t dream of doing that here!)