Original: He was buried in a cadaver tomb in Saint Denis Basilica .
Simplified: He is buried in the Saint Denis Basilica .