Trois militaires français morts dans une opération clandestine en Libye