DLPDA (Explicit)

GALÉRIEN (Explicit)