Algerian soldiers kill militant leader behind Frenchman’s murder