Afbeelding van het koor van Port-Royal des Champs