L’ultimo saluto a Giovanni Pompei: San Benedetto omaggia il suo numero 10