Exode 17:9

Josué, qui s'appelait auparavant Osée, ou Ausem, était le fils de Nun. De la victoire obtenue sur les Amalécites, il fut appelé à jamais Josué, Josué, ou Jésus, « Sauveur ». Il s'est attaché à Moïse, et est appelé son serviteur, comme Patrocle et Mérione sont appelés serviteurs d'Achille et d'Idomen, par Homère ; bien qu'ils fussent des hommes de haute naissance. --- Main, pour défendre la cause des Hébreux par un miracle, s'il le faut.