Title: Weil restriction in the context of formal and rigid geometry