French government formally ends military operation Sangaris