La decorazione figurativa a stucco del portico di San Pietro al tempo di papa Paolo V