Que faire au Texas ?