A Liouville-type property for degenerate-elliptic equations modeled on Hörmander vector fields | Synapse