¿A quién sucedió François Mitterrand como presidente de Francia?