correction du bug (correction facile, on peut probablement mieux faire en réfléchissant mieux mais ça demande plus de modification en profondeur du solveur)