De l’empire portugais à l’offensive de Trump, en passant par la guerre des pétroliers : l’importance stratégique croissante d’Ormuz