image/svg+xml \huge concret \huge abstrait \Large $\alpha$ \Large $\gamma$ \scriptsize Exécutions du programme \scriptsize Sur-approximation \scriptsize Représentation abstraite