Recherches historiques sur la ville de Mantes — Eugène Grave