arbitre.c : simplification de VerifyInitAI()