Classement du géocodage

Un classement en deux étapes a rétabli le chemin rapide Top-K de pg_search : le calcul de score ne coûte plus un balayage complet.