variables dans le main pour le path et l'indice du premier predicat