groupoids versus homotopy 1-types