Le pétrole décline, le WTI américain pique sous les 100 dollars