Colloque avec actes sans comité de lecture.
A Strategy Language for Specifying Constraint Solvers and their Collaborations