Modifications forceRefine, fonction presque opérationnelle. Encore des
problèmes de pop/push alternés (une des conditions ne doit pas tout à
fait être correcte). Problème de mauvais itérateur dans le fonction
updateRefinement.