Intervención militar en Libia