La Pompe Notre-Dame (The Notre Dame pump), Paris