La page que j'ai mise en lien comprend de multiples télechargements possibles, il est effectivement dans mes compétences de cliquer un par un sur toutes les Irs et de lancer plusieurs téléchargements.
Je demandais simplement s'il était prévu un téléchargement groupé de l'ensemble des Irs, vu qu'il y'en a plusieurs centaines, qui me semble-t-il serait moins fastidieux.
Je voulais savoir s'il y avait un moyen et il n'y en a pas.
Désolé de l'incongruité de la question.