A uniqueness theorem for transitive Anosov flows obtained by gluing hyperbolic plugs

In a previous paper with C. Bonatti ([5]), we have defined a general procedure to build new examples of Anosov flows in dimension 3. The procedure consists in gluing together some building blocks, called hyperbolic plugs, along their boundary in order to obtain a closed 3-manifold endowed with a complete flow. The main theorem of [5] states that (under some mild hypotheses) it is possible to choose the gluing maps so the resulting flow is Anosov. The aim of the present paper is to show a uniqueness result for Anosov flows obtained by such a procedure. Roughly speaking, we show that the orbital equivalence class of these Anosov flows is insensitive to the precise choice of the gluing maps used in the construction. The proof relies on a coding procedure which we find interesting for its own sake, and follows a strategy that was introduced by T. Barbot in a particular case