Libye: des policiers et des civils tués dans un bombardement à Tripoli