Nouvelle correction de l'algo de recherche

pierre.kunzlirequested to merge
pk into master

Correction de l'algo de recherche, version plus claire

Edited by pierre.kunzli

Merge request reports