20150803 world: Saudi Arabian king leaves France after holiday controversy