Porche de Saint-Germain-l'Auxerrois – Église Saint-Germain-l'Auxerrois, Paris