sig
  type t = {
    pet : Diagrams.Transfo.Pet.t;
    transfo : Diagrams.Transfo.??.transfo;
  }
  and transfo = X.t -> X.t
end