C’était jour de fête et l’église était pleine – non point à craquer, car c’eût été véritablement bien plein pour une église aussi solidement bâtie que celle du couvent des Carmes, à Paris, dans la rue qui portait ce nom, mais elle était emplie jusqu’au ras bord de son porche étroit.