France to deploy 7,000 soldiers after teacher’s slaying