class shallow_auxiliary{ %% Generic class for shallow auxiliary trees <: auxiliary; + shallow_auxiliary; Root >> Foot;}
Ajouter un commentaire