let map2 (f, g) ((a, b, rho) as fct) = 
    let (a', alpha') = f a 
    and (b', beta') = g b in
      if a == a' && b == b' then fct else
        make a' b' (Jst.dep3 rho alpha' beta')