qques maj mineurs, j'essaie de simplifier constraint_propagation dans la soirée