Pétra.

Pétra. nom gréco-latin (signifiant « le rocher ») d'une ancienne ville de l'actuelle Jordanie, aujourd'hui Al-'Batr?, à l'est du w?d? 'Araba qui coule entre la mer Rouge et la mer Morte. Ancienne capitale des Édomites, Pétra fut, au IV e siècle avant J.-C., celle du royaume des Nabatéens. En 106 de l'ère chrétienne, Pétra passa sous la domination romaine (province d'Arabie Pétrée), puis, au VII e siècle, elle fut ravagée par les Arabes. Elle est surtout célèbre pour ses tombes creusées dans le roc et pour le Khazneh alFaraoun (le « Trésor du pharaon »), temple à deux étages taillé dans la paroi rose du rocher et qui était peut-être consacré à Isis.