ou que le copyright n'est pas invariant par correspondance de curry howard