Deux militaires français tués en opération au Mali, annonce l'Elysée