projet de TAS : interprétation abstraite