Overview for deduction-sociale