Utilisation des opérations Beq et Bne dans RTL