Fonds de la direction régionale des renseignements généraux.