Guerre au Moyen-Orient : qui était le caporal-chef Anicet Girardin, tué au Liban ?