La dépénalisation de l'homosexualité, l'autre victoire de Robert Badinter