Nous avons appris avec stupeur le décès de Claude Derive, survenu le 11 décembre.