Pétrole: le WTI américain repasse sous la barre des 100 dollars