Trois soldats français issus d'un régiment lorrain tués en opération au Mali