A faire : 

- Menu pour recueillir les différentes méthodes		Plus tard
- Faire d'autres exemples .txt				Plus tard

Construction d'arbres de recherche : 
- Etape 1 : Méthode naive				Margaux&Karen
- Etape 2 : Méthode de réduction de domaines		Margaux&Karen
- Etape 3 : Autres stratégies (cf. cours)		Martin&Abel
- Etape 4 : Cohérence d'arêtes				Plus tard