Principal Rechercher Tits Sloppy Compilation