Makam Karl Martell, Basilika Saint-Denis (keterangan).