Guerre en Iran : qu'est-ce que le détroit d'Ormuz, ce point névralgique maritime pour le commerce du pétrole et du gaz naturel liquéfié, et quel impact sur les prix à la pompe ?