Indique le nom du fichier texte qui contient la liste des ID de patchs.