Notice sur le Code de procédure civile pour l'empire d'Allemagne, par E. Lederlin, — Eugène Lederlin