Gestion de la regle du Ko -> Bug evident