Description of the illustration distributed_recov_clauses.eps