Update arbitre.h