Občan Vaněk = Citizen Vaněk - Havel, Václav