L'Organisation judiciaire de la France — France. Direction de la documentation française, Hubert Pinsseau