K(,1) and word problems for infinite type Artin-Tits groups, and