Bien que sa dénomination courante soit le “Service de documentation”, il s’agit d’une “bibliothèque spéciale” 1 qui tente avant tout de transmettre au personnel les informations dont il a besoin dans le cadre de l’exécution de ses missions.
Hoewel de courante benaming “Documentatiedienst” luidt, is deze dienst een “speciale bibliotheek” 1 die in de 1e plaats probeert te voorzien in de informatiebehoeften van het personeel bij de uitvoering van hun taak.