L'existence d'un détroit d'Hormuz implique un Gay d'Hormuz.