La Justice administrative / France, Direction de la documentation française