Attaque en mer Rouge: une coalition de dix pays, dont la France et les États-Unis, déployée