Le nouvel hôtel de ville de Paris, 1872-1900 — Marius Vachon