Domain d3coqb2: 3coq B:50-96