correction d'un bug en réécrivant un peu le moteur : plus de boucles infinies, mais des résultats faux ds fois (rarement)