Libye : neuf morts dans des combats entre groupes armés près de Tripoli