L'abolition de la peine capitale en France, 9 octobre 1981 — Éric Ghérardi, Philippe Astruc