Filter anchors in nav elements by keyword inputted by user in real time.
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
