Exode 13.18

18. Et Dieu fit faire un détour au peuple par le chemin du désert de la mer Rouge; et les fils d'Israël montèrent en ordre de bataille hors du pays d'Égypte.