Update arbitre.c