  This paper is the extended introduction of a serie of papers about modelling
T-homotopy by refinement of observation. The notion of T-homotopy equivalence
is discussed. A new one is proposed and its behaviour with respect to other
construction in dihomotopy theory is explained.
