Crypt, Carolingian church of St. Denis, 9th century, with later additions