il l'emporta sur eux et combattit très vaillamment jusqu'au coucher du soleil, et Démétrius fut tué ce jour-là.