Tension États-Unis-Iran : que sait-on de "l'armada" déployée par Washington dans la région ?