bombardement dun petrolier a derna en libye