Remplacement du croisement de l'arbre de direction en Gilboa

Remplacement du croisement de l'arbre de direction en Gilboa