non, les admins des point d'arrêts sont calculés au moment de la binarisation