et il les poursuivit jusqu'à la porte de Ptolémaïs. Près de trois mille hommes périrent d'entre les nations, et il enleva leurs dépouilles.