On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants (Logical Methods in Computer Science, 2022)