Pétrole : les prix dépassent de nouveau les 100 dollars, après des attaques en mer Rouge