Un art abstrait : l'analyse statique par interprétation abstraite