Ajout d'une class de test jUnit pour tester les reduction de domain