Cap­i­tale de l’État du Texas aux États-Unis.