PUNON

Étape du désert (No 33:42 et suivant); peut-être la même que
Pinon (voir ce mot).