Après une saisie dans le code, la recherche suivante ne fonctionnait pas

Lorsqu'on modifie le code, les résultats ne sont plus bons.
La recherche est donc relancée.