Functional Invariants to Watermark Large Transformers