correction:

still forthcoming: " the type of guided homotopies for a Z-torsor is
contractible "