La recherche plein texte s’effectue par les opérateurs Google.

Si vous souhaitez faire une recherche par thème ou par dossier, il est préférable d’utiliser la recherche par thème avec des possibilités des filtres spécifiques, la recherche par dossier ou la recherche dans les archives PDF des éditions papier jusqu’en 2021.