TODO


1
2
3
4
5
6

1. Définir un type pour décrire les valeurs abstraites
	ie. définir le domaine abstrait
  - Constantes + bot + top : bool et int
  - Intervalles + bot + top : int

2. Interprète abstrait