Add filter options to Doublelist listing pages
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
