open Poly module Make2 (A : ANNEAU) (X : VAR) (Y : VAR) : POLYNOME = Make (Make (A) (X)) (Y)