Compilation Dasi

Compilation Dasi with Tits compilation