Principal Rechercher Old Heavy Tits