Détail de « Saint Pierre », par Pierre-Étienne Monnot, dans labasilique Saint-Jean-de-Latran (ca. 17