(* Soumis par Pierre *) Print sig2.