("Éxodo" 17:8).