Le pétrolier Shell quitte le Texas en vendant tous ses actifs à ConocoPhillips