Au Mali, militariser la police pour aider à lutter contre le terrorisme ?