A π-calculus model of the spanish fish market