The church also houses the tomb of King Pippin of Italy (777–810).
Dalam gereja ini juga terdapat makam Raja Pepin dari Italia (777–810).