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