Remplacement de la création de B par CombinatorManager par new B() dans Abstracter pour éviter à l'utilisateur d'activer les combinateurs basiques, et mise à 4 de defaultAbstractionLevel