/** * Vérifie que la frontière n'existe pas déjà avant de l'ajouter * @param Frontiere $frontiere */ public function append($frontiere) { if (isset($this->index[$frontiere->getIndex()])) { return; } $this->index[$frontiere->getIndex()] = $frontiere; parent::append($frontiere); }