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