Karush-Kuhn-Tucker conditions to build efficient contractors; Application to TDoA localization.