La pompe Notre Dame, une machine peu efficace et nécessitant de nombreux entretiens pour alimenter les fontaines de Paris