Robert Badinter au Panthéon : la dépénalisation de l'homosexualité, son autre combat