Le nom de Thénardier, dans Les Misérables : histoire d'une vengeance politique de Victor Hugo contre un baron de Sens